#include "tty.h"
#include "kernel.h"

void kernel64_main(void)
{
    console_init();
    // 有问题，运行出来多了一些东西
    printk("Hello, %10s", "zhuguoyin");
}